Partiendo de la teoría moderna de la evolución y de las ciencias empíricas, el autor elabora un programa de investigación para así poder formular una teoría evolucionista del conocimiento de base experimental.

This part of the philosophy of psychology I refer to as 'moral psychology'; and, therefore, this book is offered as a contribution to moral psychology. ...

The essay replies to comments by Finnis, Gardner and Endicott, on my book, Law as a Moral Idea. It is questioned whether Finnis is right to suggest that governance by law is a requirement of justice. It is suggested that Hart's positivism may have rested upon an unduly private conception of morality. Gardner's suggestion that Law as a Moral Idea falsely manufactures disagreement with Hart is rejected, principally by pointing out that Gardner focuses upon only one issue, where the book (...) already acknowledges that Hart might conceivably agree, and ignores other issues where the disagreement with Hart seems indisputable. In response to Endicott, it is acknowledged that 'politics' could be understood as a moral idea comparable to the idea of 'law', but denied that this robs either thesis of interest. The nature of doctrinal reasoning and law's justificatory force is then discussed. (shrink)

N. Tennant; XI*—Entailment and Proofs, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 167–190, https://doi.org/10.1093/aristote.

There were five kinds of cyber deterrence presented at the workshop on Landscaping strategic cyber deterrence, hosted at the Oxford Internet Institute. They were the well-studied areas of deterrence by ‘punishment’ and ‘denial’, and the novel concepts of deterrence by ‘association’, ‘norms and taboos’, and finally, ‘entanglement’. In the following workshop commentary, I present these five kinds of deterrence and explain them in light of recent developments in the academy and industry. I argue for analytical congruence between all three novel (...) concepts, since they aim to alter the behaviour of actors by adding a social cost in response to breaking norms and conventions. Throughout, I argue that we are beginning to understand how cyber deterrence works, both in theory and practice, and when all concepts are taken together, they become more than the sum of their parts. Finally, I point out an omission of the workshop, where computational modelling and simulation could be added to the landscape of strategic cyber deterrence. (shrink)

This paper surveys three controversial new directions in research about the nature of science and briefly summarizes both the intellectual and sociological impact of this work. A bibliographic introduction to the major literature is provided and some fruitful directions for future research are proposed. Philosophers of science are also exhorted to perform 'community service' by correcting misunderstandings of the methods of science fostered by these new approaches.

Sudoku puzzles, which are popular worldwide, require individuals to infer the missing digits in a 9 9 array according to the general rule that every digit from 1 to 9 must occur once in each row, in each column, and in each of the 3-by-3 boxes in the array. We present a theory of how individuals solve these puzzles. It postulates that they rely solely on pure deductions, and that they spontaneously acquire various deductive tactics, which differ in their difficulty (...) depending on their “relational complexity”, i.e., the number of constraints on which they depend. A major strategic shift is necessary to acquire tactics for more difficult puzzles: solvers have to keep track of possible digits in a cell. We report three experiments corroborating this theory. We also discuss their implications for theories of reasoning that downplay the role of deduction in everyday reasoning. (shrink)

I clarify how the requirement of conservative extension features in the thinking of various deflationists, and how this relates to another litmus claim, that the truth-predicate stands for a real, substantial property. I discuss how the deflationist can accommodate the result, to which Cieslinski draws attention, that non-conservativeness attends even the generalization that all logical theorems in the language of arithmetic are true. Finally I provide a four-fold categorization of various forms of deflationism, by reference to the two claims of (...) conservativeness and substantiality. This helps to clarify the various possible positions in the deflationism debate. (shrink)

CHAPTER I Introduction The history of mankind can boast not only of its times of fame and glory but also of quieter times with a different kind of heroism. ...

The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...) theorems in metamathematics including those of Gödel and Church-Rosser. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction. (shrink)

Background: We were finding volunteers for functional magnetic resonance imaging studies with abnormalities requiring referral surprisingly frequently. The bioethics surrounding the incidental findings are not straightforward and every imaging institution will encounter this situation in their normal volunteers. Yet the implications for the individuals involved may be profound. Should all participants have review of their imaging by an expert and who should be informed? Methods: The normal volunteers that were imaged with magnetic resonance (MR) which were reviewed by a consultant (...) neuroradiologist. All participants completed a volunteer consent form in addition to a standard departmental MR safety screening form. The volunteer screening form requires the general practitioner details to be completed and asks the participant to consider closely the possibility and implications of finding an unexpected but potentially serious abnormality before signing. Results: 525 different individuals were scanned as normal volunteers, the mean age was 35-years and 330 were males. Of these 525, 46 had definite significant abnormalities (8.8%), mean age 50-years. Conclusion: We have found a high rate of incidental abnormalities amongst individuals participating in imaging studies at our institution. It is our current practice to inform the research study participant of the findings, counsel them and inform their primary care physician. We think that it is advisable for researchers utilising MR imaging of the brain to have access to trained neuroradiologists, a protocol in place to deal with this problem and take consent in a way that allows the participant to realise the possibility of an abnormal finding. (shrink)

N Blake, P Standish; Notes on Contributors, Journal of Philosophy of Education, Volume 34, Issue 1, 16 December 2002, Pages 199–201, https://doi.org/10.1111/146.